Schnittstelle UserSettings

Alle Superschnittstellen:
ColorProvider, Serializable, Settings

public interface UserSettings extends Settings
Contains all user settings for color, visibility and export.
Seit:
4.1
  • Methodendetails

    • reset

      void reset() throws IOException
      Sets the user settings to default.
      Löst aus:
      IOException - if an error occurs via resetting the settings
      Seit:
      4.1
    • save

      void save() throws IOException
      Stores all user settings.
      Löst aus:
      IOException - if an error occurs via storing the settings
      Seit:
      4.1